机译:抽象程序切片:基于抽象解释的程序切片方法
机译:采样器程序:重新讨论抽象约束程序的稳定模型语义
机译:采样器程序:重新讨论抽象约束程序的稳定模型语义
机译:一种基于抽象解释的组合器,用于约束编程中的while循环建模
机译:程序并行化,其中包含循环携带的依赖关系和资源约束。
机译:科学示范文摘。演示摘要:计算机辅助医疗决策支持系统:适应性控制药物剂量方案和人群药代动力学建模的PC程序
机译:一种基于抽象解释的组合器,用于约束编程中的While循环建模
机译:并行约束规划的全抽象模型